$\forall$$A$, $B$:MsgA. ($A$ = $B$) $\Rightarrow$ ma{-}frame{-}compat($B$;$B$) $\Rightarrow$ ($B$ $\Vert\!+$ $A$)